5. A first course in logic /
المؤلف: Mark V. Lawson, Heriot-Watt University, Edinburgh.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Problems, exercises, etc.,Logic.,Logic, Symbolic and mathematical.,Logic.,MATHEMATICS-- General.
رده :
QA9
.
L37256
2018eb
6. A readable introduction to real mathematics
المؤلف: Rosenthal, Daniel.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Mathematics,، Logic, Symbolic and mathematical,، Mathematics - Problems, exercises, etc.
رده :
QA
93
.
R6
2014
7. An introduction to mathematical reasoning
المؤلف: Iglewicz, Boris
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,Problems, exercises, etc ، Mathematics
رده :
QA
9
.
I36I5
8. Cold war history
المؤلف: edited by Frédéric Bozo ... [ et al.].
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
9. Includes bibliographical references (p. 49-51). 0,B
المؤلف: Zeren Tanındı. ,/ Katie Normington.
المکتبة: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع:
10. Introduction to mathematical logic
المؤلف: Elliott Mendelson.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical -- Problems, exercises, etc.,Logic, Symbolic and mathematical.
رده :
QA9
.
E455
2015
11. The structure of models of Peano arithmetic
المؤلف: Kossak, Roman, 3591-
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Peano, Giuseppe, 8581-2391,Problems, exercises, etc ، Logic, Symbolic and mathematical,، Isomorphisms )Mathematics(,Problems, exercises, etc ، Isomorphisms )Mathematics(
رده :
QA
9
.
7
.
K68S7
12. The structure of models of Peano arithmetic
المؤلف: Roman Kossak, James H. Schmerl
المکتبة: (کرمان)
موضوع: Logic, Symbolic and mathematical,Peano, Giuseppe,- 1858-1932,Logic, Symbolic and mathematical- Problems, exercises, etc,Isomorphisms )Mathematics(,Isomorphisms )Mathematics(- Problems, exercises, etc
رده :
QA
9
.
7
.
K67
2006
